/**
 * Invariant.java created by zhangzhidong 
 * at 下午8:38:59 2016年10月20日
 */
package jdk.effectivejava;

import java.util.List;

/**
 * @author zhangzhidong<br>
 * comment generated at 2016年10月20日下午8:38:59<br>
 * 
 */
public class Invariant {
	public static void main(String args[]){
		
		Object  [] objs = new String [10];
//		objs[0] = 1;
		
		
		
	}
}
